d6fc934caebcc5788df0f489f7aa5a9c3bacd409,de.prob2.kernel/src/main/java/de/prob/model/eventb/translate/MachineXmlHandler.java,MachineXmlHandler,endContextExtraction,#,391

In pattern: SUPERPATTERN

Frequency: 3

Non-data size: 11


Instances


1437645224
clark.joy@gmail.com
bendisposto/prob2,d6fc934caebcc5788df0f489f7aa5a9c3bacd409,de.prob2.kernel/src/main/java/de/prob/model/eventb/translate/MachineXmlHandler.java,MachineXmlHandler,endContextExtraction,#,391


1437645224
clark.joy@gmail.com
bendisposto/prob2,d6fc934caebcc5788df0f489f7aa5a9c3bacd409,de.prob2.kernel/src/main/java/de/prob/model/eventb/translate/ContextXmlHandler.java,ContextXmlHandler,endInternalContextExtraction,#,190


1437645224
clark.joy@gmail.com
bendisposto/prob2,d6fc934caebcc5788df0f489f7aa5a9c3bacd409,de.prob2.kernel/src/main/java/de/prob/model/eventb/translate/ContextXmlHandler.java,ContextXmlHandler,endDocument,#,205